Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
31	Rodin in the field of railway system engineering Tomas Fischer Thales Austria GmbH, Handelskai 92, 1200 Vienna, Austria, Abstract. Railway signaling systems are required to provide the high Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:40:08 Formal methods Standards Systems engineering Software quality European Committee for Electrotechnical Standardization Specification Verification Standardization Reliability engineering SIGNAL Formal specification Rodin tool
32	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D2 Definitions of Case Studies and Evaluation Criteria for Case Studies Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-05-25 11:16:22 Mobile telecommunications LTE Mobile technology Telecommunications Formal methods Rodin tool 3GPP Systems engineering UMTS Formal specification
33	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D4 Traceable Requirements Document for Case Studies Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2005-07-04 06:06:20 Software requirements Systems engineering Specification Requirement Rodin tool 3GPP UMTS Formal methods System requirements
34	Skills specification for the post of Seismology Summer Placement Level of skills/knowledge required Formal qualification required Add to Reading List Source URL: bgs.ac.uk Language: English - Date: 2016-05-23 08:41:50
35	Skills specification for the post of Seismology Summer Placement Level of skills/knowledge required Formal qualification required Add to Reading List Source URL: www.bgs.ac.uk Language: English - Date: 2016-05-23 08:41:50
36	SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-10-06 13:24:19 Computing Software System software Application programming interfaces Rename Symbolic link POSIX File system permissions Hard link File locking File system Tar
37	ConSpec: A Formal Language for Policy Specification Irem Aktug KTH 1 Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2007-09-17 08:19:33
38	Computer Science Technical Report Toward a programmer-friendly formal specification of the UPC memory model by William Kuchera and Charles Wallace Add to Reading List Source URL: www.upc.mtu.edu Language: English - Date: 2006-02-07 16:59:47 Parallel computing Concurrent computing Computer memory Memory barrier Unified Parallel C Universal Product Code Thread Consistency model Synchronization Java concurrency Monitor
39	REMConSpec – a formal language for policy specification 1 Irem Aktuga , Katsiaryna Naliukab a Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2008-03-06 10:39:50
40	SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript Hongki Lee Sooncheol Won Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2012-10-01 23:54:41

UPDATE